Situation calculus - PDFSEARCH.IO - Document Search Engine

Situation calculus
Results: 55

#	Item
51	The Frame Problem and Related Problems in Artificial Intelligence Add to Reading List Source URL: aitopics.org Language: English - Date: 2012-09-15 13:27:22 Logic programming Epistemology Model theory Formal methods Situation calculus Frame problem First-order logic Function Axiom Logic Mathematical logic Mathematics
52	10 A Logic-based Calculus of Events ROBERT KOWALSKI and MAREK SERGOT Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:53:49 Theoretical computer science Knowledge representation Logic in computer science Event calculus Frame problem Situation calculus Function Calculus Prolog Logic programming Mathematics Mathematical logic
53	The History of the Frame Problem M.Kamermans and T.Schmits Faculty of Artificial Intelligence Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2009-10-22 11:30:54 Science Knowledge Logic in computer science Epistemology Fluent Frame problem Situation calculus Yale shooting problem Event calculus Logic programming Knowledge representation Artificial intelligence
54	PDF Document Add to Reading List Source URL: www.csc.ncsu.edu Language: English - Date: 2002-07-10 12:51:19 Artificial intelligence Knowledge representation Applied mathematics Event calculus Situation calculus Multi-agent systems Fluent Communications protocol Agent-based model Theoretical computer science Logic programming Logic in computer science
55	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-10-16 07:57:02 Object Action Complex Robot control Cognitive science Motor control Industrial robot Robotics Affordance Situation calculus Holographic associative memory Technology Philosophy of mind Mind